COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%business letter outline to use with buslet.tex macros
C00006 ENDMK
C⊗;
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

\vskip 5pt
\address 
Charles T. Owens, Head
Tokyo Regional office
National Science Foundation
c/o American Embassy, Tokyo
APO San Francisco, CA 96503

\body

Dear Mr. Owens:

This to answer to your request for information about our
funding and activities in the U.S.-Japan Cooperative Science
Program for the period April 1, 1985 - March 31, 1986.

We spent no funds for this project during the above period.
The funding was for travel to Japan
and none of the six participants in our group were able to travel to 
Japan during this period.  

The Japanese participants were at Stanford during July and August 1985
during which time a series of seminars was held for the participants
and other interested people.  
During this period  S. Feferman presented a paper to the
Association for Symbolic Logic meeting and
C. Talcott published a Ph.D. thesis
on topics related to the subject of the collaboration
(see references below).

\closing
Sincerely,    


John McCarthy    
\annotations
References:
\smallskip
Feferman, S.[1985]
Against Type Theory
Paper presented at the meeting of the Association for Symbolic Logic,
Stanford, July 1985.
\bigskip
Talcott, C. [1985]
The Essence of RUM: 
A theory of the intensional and extensional aspects  of 
Lisp-type computation,
Ph. D. Thesis, Stanford University.
\bigskip
JMC/ra 
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end